SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 
Not enough search parameters. I'm using defaults.
FILE WASN'T FOUND IN ANY RPM FILE. TRYING TO SEARCH THIS FILE ON FTP SERVERS
You have chosen search rpm in world FTP resources.
Not enough search parameters. I'm using defaults.
Display 1001 - 1035 hits of 1035. Search took 0.01 seconds.
16
16
17
17
18
18
19
19
20
20
21
21
22
22
23
23
24
24
25
25
26
26

Search results for coq :
Filename  Distribution  File size
coq-8.13.2-bp154.1.44.src.rpm  OpenSuSE  18332 kB  
coq-8.13.2-bp154.1.44.s390x.rpm  OpenSuSE  50925 kB  
coq-8.13.2-bp154.1.44.ppc64le.rpm  OpenSuSE  51448 kB  
coq-8.13.2-bp154.1.44.aarch64.rpm  OpenSuSE  56385 kB  
coq-8.13.2-bp154.1.1.src.rpm  OpenSuSE  18332 kB  
coq-8.13.2-bp154.1.1.armv7hl.rpm  OpenSuSE  47518 kB  
coq-8.13.2-4.fc35.x86_64.rpm  Fedora 35  81189 kB  Info
coq-8.13.2-4.fc35.src.rpm  Fedora 35  6797 kB  
coq-8.13.2-3.fc35.x86_64.rpm  Fedora 35  81703 kB  Info
coq-8.13.2-3.fc35.src.rpm  Fedora 35  6800 kB  
coq-8.13.2-1.fc34.x86_64.rpm  Fedora 34  81135 kB  Info
coq-8.13.2-1.fc34.src.rpm  Fedora 34  6800 kB  
coq-8.13.1-4.x86_64.rpm  PLD  79738 kB  
coq-8.13.1-4.src.rpm  PLD  6790 kB  
coq-8.13.1-4.i686.rpm  PLD  77401 kB  
coq-8.13.1-1.fc34.x86_64.rpm  Fedora 34  82606 kB  Info
coq-8.13.1-1.fc34.src.rpm  Fedora 34  6799 kB  
coq-8.12.2-1.fc33.x86_64.rpm  Fedora 33  154388 kB  Info
coq-8.12.2-1.fc33.src.rpm  Fedora 33  6706 kB  
coq-8.12.0-3.fc33.1.x86_64.rpm  Fedora 33  154339 kB  Info
coq-8.12.0-3.fc33.1.src.rpm  Fedora 33  6625 kB  
coq-8.11.2-1.fc32.x86_64.rpm  Fedora 32  78429 kB  Info
coq-8.11.2-1.fc32.src.rpm  Fedora 32  6420 kB  
coq-8.11.0-4.mga8.x86_64.rpm  Mageia 8  88398 kB  Info
coq-8.11.0-4.mga8.src.rpm  Mageia 8  8572 kB  
coq-8.11.0-4.mga8.i586.rpm  Mageia 8  85572 kB  Info
coq-8.11.0-4.mga8.armv7hl.rpm  Mageia 8  91089 kB  
coq-8.11.0-4.mga8.aarch64.rpm  Mageia 8  96816 kB  
coq-8.11.0-1.fc32.x86_64.rpm  Fedora 32  78474 kB  Info
coq-8.11.0-1.fc32.src.rpm  Fedora 32  6411 kB  
coq-8.0pl3-5mdv2007.1.ppc.rpm  Mandrake Other  11297 kB  
coq-8.0pl3-5mdv2007.0.src.rpm  Mandriva  2007  1965 kB  
coq-8.0pl3-5mdv2007.0.sparc.rpm  Mandrake Other  11317 kB  
coq-8.0pl3-5mdv2007.0.i586.rpm  Mandriva  2007  10833 kB  Info
coq-8.0pl3-4mdk.x86_64.rpm  Mandriva  2007  11058 kB  

16
16
17
17
18
18
19
19
20
20
21
21
22
22
23
23
24
24
25
25
26
26
 
ICM